C-based simulation language that can be used for sequential and parallel execution of discrete-event simulation models. Papers, source code, sample models. Replaced by PARSEC language.
Experimental high-level language for distributed computing, focus: typing, naming, version change; designed, formally specified, implemented; extends OCaml core to support distributed development, deployment, execution, type-safe interaction between s...
Language for parallel programming on distributed systems, based on the shared data-object model, a portable form of object-based distributed shared memory. Papers and manual.